1. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
2. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
4. Higher recursion theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: (طهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S23
1990
5. Mathematical logic in the 20th century
پدیدآورنده : ]edited by[ Gerald E. Sacks
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
M22
6. Mathematical logic in the 20th century
پدیدآورنده : / edited by] Gerald E. Sacks]
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : م‍ن‍طق ری‍اض‍ی
رده :
QA
۹
/
۲
/
م
۲ ۱۳۸۲
7. Saturated model theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory
رده :
QA
9
.
S313
8. Saturated model theory
پدیدآورنده : [by] Gerald E. Sacks.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
9. Selected Logic Papers
پدیدآورنده : Sacks, Gerald E
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
S2
S4
1999
10. Selected logic papers
پدیدآورنده : Sacks, Gerald E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
S23
1999
